Publications of Aurélie HURAULT
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in modular proofs of concurrent algorithms
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Logical Methods in Computer Science, 2021, 17 (3), pp.26:1 – 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems
Journal of Logic and Algebraic Methods in Programming, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩
Serial Rayene Boussalia, Allaoua Chaoui, Aurélie Hurault, Meriem Ouederni, Philippe Quéinnec
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem
International Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95–126. ⟨10.1504/IJISTA.2016.076493⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
On the Diversity of Asynchronous Communication
Formal Aspects of Computing, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
Aurélie Hurault, Baek Kyungim, Henri Casanova
Selecting Linear Algebra Kernel Composition Using Response Time Prediction
Software: Practice and Experience, 2015, 45 (12), pp.1659–1676. ⟨10.1002/spe.2307⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
Electronic Communications of the EASST, 2015, 72, pp.1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel Daydé, Aurélie Hurault, Ronan Guivarch, Harutyun Terzyan, Levon Hovhannisyan
On the Easy Use of Scientific Computing Services for Large Scale Linear Algebra and Parallel Decision Making with the P-Grade Portal
In : Journal of Grid Computing, Springer-Verlag, Heidelberg, Allemagne, Vol. 11 N. 2, pp. 239-248, June 2013.
Yinan Li, Asim Yarkhan, Jack Dongarra, Keith Seymour, Aurélie Hurault
Enabling Workflows in GridSolve: Request Sequencing and Service Trading
In : Journal of Supercomputing, Springer-Verlag, Heidelberg, Allemagne, Vol. 64 N. 3, pp. 1133-1152, June 2013.
Aurélie Hurault, Marc Pantel, Michel Daydé
Composition automatique de services de calcul – Utilisation des spécifications algébriques pour décrire la fonctionnalité des services
In : Revue des Sciences et Technologies de l’Information, Technique et Science Informatiques, Hermès Science, Special issue La composition d’objets, de composants et de services, Vol. 30, N. 6/2011, pp. 685-710, June 2011.
Aurélie Hurault, Michel Daydé, Marc Pantel
Advanced service trading for scientific computing over the grid
In : Journal of Supercomputing, Springer-Verlag, Heidelberg, Allemagne, Vol. 49 N. 1, pp. 64-83, July 2009.
URL : http://www.springerlink.com/content/82w83315wt028332/
BibTeXMichel Daydé, Frédéric Desprez, Aurélie Hurault, Marc Pantel
On deploying scientific software within the GRID-TLSE project
In : Computing Letters, VSP/Brill Academic Publisher, Vol. 1 N. 3, pp. 85-92, July 2005.
Aurélie Hurault, Joao Marques-Silva
Certified Logic-Based Explainable AI
17th International Conference on Tests and Proofs (TAP 2023), Jul 2023, Leicester, United Kingdom. pp.51-67, ⟨10.1007/978-3-031-38828-6_4⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Derivation of Heard-Of Predicates From Elementary Behavioral Patterns
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy
Tasks in Modular Proofs of Concurrent Algorithms
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Aurélie Hurault, Philippe Quéinnec
Proving a Non-Blocking Algorithm for Process Renaming with TLA+
13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166
Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
A Map of Asynchronous Communication Models
Refinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Characterizing Asynchronous Message-Passing Models Through Rounds
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Dec 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
A Modular Framework for Verifying Versatile Distributed Systems
5th International Symposium on Formal Approaches to Parallel and Distributed Systems. (4PAD 2018), part of 16th International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. pp.748-755, ⟨10.1109/HPCS.2018.00121⟩
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
Asynchronous Message Orderings Beyond Causality
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
Nathanael Sensfelder, Aurélie Hurault, Philippe Quéinnec
Inference of Channel Priorities for Asynchronous Communication
14th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.262-269, ⟨10.1007/978-3-319-62410-5_32⟩
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec
Mechanized Refinement of Communication Models with TLA+
5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
Serial Rayen Boussalia, Allaoua Chaoui, Aurélie Hurault
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm
21st International Conference on Information and Software Technologies (ICIST 2015), Oct 2015, Druskininkai, Lithuania. pp.306–319, ⟨10.1007/978-3-319-24770-0_27⟩
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Automated Verification of Asynchronous Communicating Systems with TLA+
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp.135-150
Florent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec, Xavier Thirioux
La composition de services dans le monde asynchrone Formalisation et vérification en TLA+
14e journees Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
Frédéric Camillo, Eddy Caron, Ronan Guivarch, Aurélie Hurault, Christian Klein, Christian Pérez
Resource Management Architecture for Fair Scheduling of Optional Computations (regular paper)
In : International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC 2014), Compiegne, 28/10/14-30/10/14, IEEE : Institute of Electrical and Electronics Engineers, pp. 113-120, 2013.
Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel Daydé, Aurélie Hurault
Enabling Large-Scale Linear Systems of Equations on Hybrid HPC Infrastructures (regular paper)
In : ICT Innovations 2011, Skopje, 14/09/11-16/09/11, Vol. 150, Ljupco Kocarev (Eds.), Springer, Advances in Intelligent and Soft Computing, pp. 239-245, 2012.
Hrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Myasnik Srapyan, Michel Daydé, Aurélie Hurault, Romulus Grigoras
Introduction of a Grid-Aware Portlet for Numerical Calculations (regular paper)
In : International Conference On Parallel, Distributed and Grid Computing (PDGC 2010), Jaypee University of Information Technology Waknaghat, Solan, H.P., India, 28/10/10-30/10/10, Pranay Chaudhuri, Sukumar Ghosh, Raj Kumar Buyya, Jian-Nong Cao, Oeepak Oahiya (Eds.), IEEExplore digital library, pp. 67-70, January 2011.
Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve (regular paper)
In : International Conference on Vector and Parallel Processing (VECPAR 2010), Berkeley, CA, 22/06/10-25/06/10, Vol. 6449, Palma José M. Laginha , Michel Daydé, Osni Marques, Joao Correia Lopes (Eds.), Springer, Lecture Notes in Computer Science 978-3-642-19327-9, pp. 340-351, 2011.
Aurélie Hurault, Frédéric Camillo, Michel Daydé, Ronan Guivarch, Marc Pantel, Chiara Puglisi, Hrachya Astsatryan
Semantic Description of Services: Issues and Examples
In : Computer Science and Information Technologies, Yerevan (Arménia), 28/09/09-02/10/09.
URL : http://www.csit.am/2009/proceedings/8CGC/11.pdf
BibTeXHrachya Astsatryan, Vladimir Sahakyan, Yuri Shoukourian, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
A Grid-Aware Web Interface with Advanced Service Trading for Linear Algebra Calculations.
In : International Meeting High Performance Computing for Computational Science (VECPAR 2008), Toulouse, 24/06/08-27/06/08, Springer, lncs 5336, pp. 150-159, 2008.
Hrachya Astsatryan, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron
On defining a Web Interface for Linear Algebra Tasks over Computational Grids
In : International Conference on Computer Science and Information Technologies (CSIT’07), Yerevan (Arménie), 24/09/07-28/09/07.
Michel Daydé, Aurélie Hurault, Marc Pantel
Semantic-based Service trading: Application to Linear Algebra
In : VECPAR’06 – Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/06-13/07/06, Springer-Verlag, LNCS 4395, pp. 622-633, 2006.
Michel Daydé, Aurélie Hurault, Marc Pantel
Gridification of Scientific Application Using Software Components: the Grid-TLSE Project as an illustration
In : CSIT 2005, Yerevan, Armenia, 19/09/05-23/09/05, National Academy of Siences of Armenia, Yerevan, Armenia, pp. 419-427, September 2005.
Mathematical Service Trading Based on Equational Matching
In : Calculemus’05: 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Newcastle, 18/07/05-22/07/05, Electronic Notes in Theoretical Computer Science, July 2005.
Aurélie Hurault, Marc Pantel, Frédéric Desprez
Recherche de services en algèbre linéaire sur une grille
In : Rencontre du Parallélisme, Le Croizic, France, 06/04/05-08/04/05, EMN-ASF, pp. 207-212, April 2005.
Aurélie Hurault, Vincent Hennebert, Marc Pantel
Répartition et mobilité en JavAct: une approche dérivée d’un modèle formel
In : Langages et Modèles à Objets, Lille, 15/03/04-17/03/04, Editions Hermès, pp. 47-61, March 2004.
Introduction de la répartition et da la mobilité dans le calcul concurrent CAP : Étude bibliographique
In : Formalisation des Activités Concurrentes, Toulouse, 09/03/04-10/03/04, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, pp. 1-20, March 2004.
Formalisations pour les compositions de services
Informatique [cs]. Institut National Polytechnique de Toulouse (Toulouse INP), 2018
Courtage sémantique de services de calcul
Master’s Thesis, Institut National Polytechnique de Toulouse, December 2006.
Abstract URL : http://ethesis.inp-toulouse.fr/archive/00000374/01/hurault.pdf
BibTeX
Nicolas Stouls, Aurélie Hurault
Actes des 15ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2016)
2016
Michel Daydé, Frédéric Desprez, Daniel Hagimont, Aurélie Hurault, Jean-Marc Pierson, Irea Touche
Utilisation des ressources/services informatiques : vers un accès simple et transparent ?
Tutoriel. June 2008. Ecole d’été Informatique CEA-EDF-INRIA